In this study, we present a cost-sharing rule for cost-sharing problems. This rule prescribes the same allocations in a problem and in its dual one. Moreover, in some specific problems it gives the same allocations as the serial cost-sharing rule (Moulin and Shenker, Econometrica, 60, 1009–1037, 1992) does in a related problem. That is why we call it as the self-dual serial cost-sharing rule. We give two axiomatizations of this new rule and another one for the serial cost-sharing rule.

Normal propositional modal systems This first chapter has two main aims. One is to give a general account of the propositional modal systems that we shall ...

Various claims have been made, recently, that Darwin's argumentation in the Origin instantiates and so supports some general philosophical proposal about scientific theorizing, for example, the "semantic view". But these claims are grounded in various incorrect analyses of that argumentation. A summary is given here of an analysis defended at greater length in several papers by the present author. The historical and philosophical advantages of this analysis are explained briefly. Darwin's argument comprises three distinct evidential cases on behalf of natural (...) selection, cases, that is, for its existence, its adequacy and its responsibility. Theorizing, today, about evolution by natural selection involves a similar structure of evidential and explanatory concerns. (shrink)

How might experimental media art help theorise what falls by the wayside in the digital public sphere? Working in the years immediately following the launch of YouTube in 2005, some media artists centred their creative praxis towards the end of that decade upon rescuing, revalorising, and placing back into digital circulation audiovisual media formats and technologies that appeared aged or obsolete. Although there may be a degree of nostalgia behind such practices, these artworks articulate a cogent critique of the drive (...) towards constant innovation that was responsible for the invention and global expansion of cinema, but in recent decades has been responsible for its decay—or, perhaps more accurately, for its perpetual transformation. The article explores this 'media-archaeology' sensibility as a way of thinking about AI more widely: an approach that sees histories of media not as a linear, chronological search for origins, but as a critical recovery of artefacts lodged discontinuously in multiple layers of the past. Although digital technologies form a central part of the creative process of the artists considered in this article, their works also act as a critical conscience about digital change, asking what the so-called digital revolution is leaving out, and leaving behind. In so doing, it illuminates some potential positive and negative impacts of digital technologies' mediation of new forms of public engagement, whether in art, archives, or on social media. (shrink)

The aim of this paper is to consider some logical aspects of the debate between the view that the present is the only 'real' time, and the view that the present is not in any way metaphysically privileged. In particular I shall set out a language of first-order predicate tense logic with a now predicate, and a first order (extensional) language with an abstraction operator, in such a way that each language can be shewn to be exactly translatable into the (...) other. I shew that this translation is preserved at the metalinguistic level, so that equivalent truth conditions can be defined in a tensed metalanguage or an indexical metalanguage. I then make some remarks about the connection between proofs of relative consistency and metaphysical truth; and some historical remarks about Arthur Prior's use of formal logic in expressing his presentist views. (shrink)

In this paper I address an important question concerning the nature of visual content: are the contents of human visual states and experiences exhaustively fixed or determined (in the non-causal sense) by our intrinsic physical properties? The individualist answers this question affirmatively. I will argue that such an answer is mistaken. A common anti-individualist or externalist tactic is to attempt to construct a twin scenario involving humanoid duplicates who are embedded in environments that diverge in such a way that it (...) appears to be necessary to attribute divergent contents to their respective visual states. In the first half of the paper I discuss some of the twin scenarios that are prominent in the literature and argue that they fail to undermine individualism. Indeed I argue that due to important facts about our internal workings, a convincing externalist twin scenario involving humanoid protagonists cannot be constructed. However, I argue that such a result does not conclusively establish an individualist thesis and that in order to settle the question at issue it is necessary to construct an independently motivated theory of visual content. I attempt to do this in the second half of the paper by developing a theory at the core of which is the idea that the contents of our visual states and experiences are determined by the causal powers vis-. (shrink)

' I heartily recommend it to any philosopher of language interested in the issues. [] Logicians, of course, will want to savour the whole thing.' Australian Journal of Philosophy, 71:3 (1993).

Expressions in a language, whether words, phrases, or sentences, have meanings. So it seems reasonable to suppose that there are meanings that expressions have. Of course, it is fashionable in some philosophical circles to deny this.

Semantic Indexicality shows how a simple syntax can be combined with a propositional language at the level of logical analysis. It is the adoption of such a base language which has not been attempted before, and it is this which constitutes the originality of the book. Cresswell's simple and direct style makes this book accessible to a wider audience than the somewhat specialized subject matter might initially suggest.

In “Imposing Risks,” Judith Thomson gives a case in which, by turning on her stove, she accidentally causes her neighbor’s death. She claims that both the following are true: (1) she ought not to have caused her neighbor’s death; (2) it was permissible for her to turn her stove on. In this paper it is argued that it cannot be that both (1) and (2) are true, that (2) is true, and that therefore (1) is false. How this is so (...) is explained, and the implications of this position regarding the relation between rights and duties is explored. (shrink)

What makes the words we speak mean what they do? Possible-worlds semantics articulates the view that the meanings of words contribute to determining, for each sentence, which possible worlds would make the sentence true, and which would make it false. M. J. Cresswell argues that the non-semantic facts on which such semantic facts supervene are facts about the causal interactions between the linguistic behaviour of speakers and the facts in the world that they are speaking about, and that the kind (...) of causation involved is best analysed using David Lewis's account of causation in terms of counterfactuals. Although philosophers have worked on the question of the connection between meaning and linguistic behaviour, it has mostly been without regard to the work done in possible-world semantics and Language in the World is a book-length examination of this problem. (shrink)

We suggest an equilibrium concept for a strategic model with a large number of players in which each player observes the actions of only a small number of the other players. The concept fits well situations in which each player treats his sample as a prediction of the distribution of actions in the entire population, and responds optimally to this prediction. We apply the concept to a strategic voting model and investigate the conditions under which a centrist candidate can win (...) the popular vote although his strength in the population is smaller than the strengths of the right and left candidates.  2003 Elsevier Inc. All rights reserved. (shrink)

Open peer commentary on the article “Info-computational Constructivism and Cognition” by Gordana Dodig-Crnkovic. Upshot: Focusing on the relationship between info-computationalism and constructivism, I point out that there is a need to clarify fundamental concepts such as information, informational structures, and computation that obscure the theses regarding the relationship with constructivist thought. In particular, I wonder how we can reconcile constructivism with the view that all nature is a computational process.

In 1958 Arnould Bayart, 1911-1998, produced a semantics for first and second-order S5 modal logic, and in 1959 a completeness proof for first-order S5, and what he calls a 'quasi-completeness' proof for second-order S5. The 1959 paper is the first completeness proof for modal predicate logic based on the Henkin construction of maximal consistent sets, and indeed may be the easier application of the Henkin method even to propositional modal logic. The semantics is in terms of possible worlds, which, Bayart (...) notes, can be anything at all. The present paper provides an English translation of both these papers together with an historical introduction and a logical commentary. (shrink)

Covers all the important theories from the period 1250-1400, including "maiores" as well as "minores," and issues in a discussion of Marsilius of Inghen (d. ...

M. J. Woods; XI*—Substance and Essence in Aristotle, Proceedings of the Aristotelian Society, Volume 75, Issue 1, 1 June 1975, Pages 167–180, https://doi.org/10.

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: _An Introduction to Modal Logic_ and _A Companion to Modal Logic_. _A New Introduction to Modal Logic_ is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes (...) readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic. (shrink)

In an individualistic society and in the increasingly competitive business environment people do not seem inclined to forgive others their trespasses. One is more likely to choose to ignore the virtue of forgiveness as a way of handling personnel situations involving intense conflict or mild disagreements, favoring instead the negative feelings of resentment, anger, revenge or retaliation. Business people seem less concerned with growth in virtue and character; interestingly they allow their character and ultimately their work relationships to deteriorate because (...) they hold onto feelings of anger and resentment. Is there a place for forgiveness in our interpersonal relationships in general and in corporate life in particular? I believe there is. A study of the virtue of forgiveness shows that it is a misunderstood virtue, but one that deserves attention. In this article I will examine the virtue of forgiveness, defining what forgiveness is and is not, and will illustrate how it might be situated as an essential human resource management strategy. (shrink)

M J Newby; Sensualism, Spirituality and Education: some reflections on the value of the individual and their significance for teaching, Journal of Philosophy of.